A State-Based Testing Approach Providing Data Flow Coverage in Object-Oriented Class Testing
نویسندگان
چکیده
A novel Object-Oriented class testing approach, proposed in this paper, combines functional with structural testing techniques. Based on state-based testing, test cases generated from the MACT (Method for Automatic Class Testing) tool can be used to execute functional testing. The definition-use information of data members, occur in public member functions of a class under test, is generated from MACT to facilitate data flow analysis. Testers can compute definition-use path with the information in order to ensure that the class is also satisfied with data flow coverage at intra-class level. The discussion with a queue class example to reveal that using a hybrid testing technique benefits class testing.
منابع مشابه
A novel hybrid object-oriented class testing method
A hybrid testing method, discussed in this research, combines state-based testing with data flow analysis to test classes at the intra-class level. Employing state-based testing, the method can generate all possible test message sequences. Using data flow analysis, the method can also detect whether data anomalies exist in those generated sequences, and then compute data flow test cases, which ...
متن کاملTest Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation
The introduction of Object Oriented Technologies in test centered processes has emphasized the importance of finding new methods for software verification. Testing metrics and practices, developed for structured programs, have to be adapted in order to address the prerogatives of object oriented programming. In this work, we introduce a new approach to structural coverage evaluation in the test...
متن کاملA hybrid object-oriented class testing method : based on state-based and data-flow testing
A new hybrid object-oriented class testing method, which combines state-based testing with data-flow testing approaches, is proposed in this paper. Based on this approach, an automated class test tool, called MACT (Method for Automated Class Testing), has been built. This consists of five components: a test case tree generator, a test message generator, a test driver, a test result inspector an...
متن کاملConformance Testing of Object-Oriented Components Specified by State/Transition Classes
In object-oriented software development, a class is the basic unit of semantic abstraction, a component is a closely related collection of classes, and a system is a collection of components designed to solve a problem. An object is an instance of a class. Each object consists of state and behavior, where state is determined by the values of state variables identified in the class definition, a...
متن کاملNISTIR 6592 Conformance Testing of Object - Oriented Components Specified
In object-oriented software development, a class is the basic unit of semantic abstraction, a component is a closely related collection of classes, and a system is a collection of components designed to solve a problem. An object is an instance of a class. Each object consists of state and behavior, where state is determined by the values of state variables identified in the class definition, a...
متن کامل